61. Formal modeling :
پدیدآورنده: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
62. Foundations of Intelligent Systems :
پدیدآورنده: edited by Zbigniew W. Raś, Andrzej Skowron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Information storage and retrieval systems.
63. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
64. Frontier computing :
پدیدآورنده: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
65. Fuzzy Logic and Applications
پدیدآورنده: edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
66. GI - 6. Jahrestagung :
پدیدآورنده: herausgegeben von Erich J. Neuhold.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
H473
1976
67. GI - 5. Jahrestagung :
پدیدآورنده: by J. Mühlbacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
68. GWAI-84 :
پدیدآورنده: edited by Joachim Laubsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q334
.
E358
1985
69. Genetic and Evolutionary Computation - GECCO 2003.
پدیدآورنده: Erick Cant-︢Paz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ebooks -- UML.
70. Handbook of Multivariate Experimental Psychology.
پدیدآورنده: Nesselroade, John R.; Cattell, Raymond B.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
BF181
.
N477
2014
71. Hardware Description Languages and their Applications :
پدیدآورنده: edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Machinery.
72. Hardware Description Languages and their Applications :
پدیدآورنده: edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Machinery.
رده :
TK7888
.
3
E358
1997
73. High-level Petri Nets :
پدیدآورنده: edited by Kurt Jensen, Grzegorz Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA267
.
E358
1991
74. High-performance embedded computing :
پدیدآورنده: Wayne Wolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems.,High performance computing.,Superinformatique.,Systèmes enfouis (Informatique),COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems.,High performance computing.
رده :
TK7895
.
E42
W65
2007eb
75. Human-computer interaction :
پدیدآورنده: edited by Masaaki Kurosu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human-computer interaction, Congresses.,Human-computer interaction.
رده :
QA76
.
9
.
H85
76. Industrial Information and Design Issues
پدیدآورنده: edited by Jacques-Emile Dubois, Nahum Gershon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cheminformatics.,Chemistry.,Communication in chemistry.
رده :
T58
.
5
E358
1996
77. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده: edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
78. Industrial networks and intelligent systems :
پدیدآورنده: Trung Q Duong, Nguyen-Son Vo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Industrial applications, Congresses.,Expert systems (Computer science), Congresses.,Computer networks-- Industrial applications.,Expert systems (Computer science)
رده :
TK5105
.
5
79. Information Systems Engineering :
پدیدآورنده: by Arne Sølvberg, David Chenho Kung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Management information systems.,Software engineering.
رده :
T58
.
5
B937
1993
80. Information and communication technologies in tourism 2000 :
پدیدآورنده: Daniel R. Fesenmaier, Stefan Klein, Dimitrios Buhalis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information technology -- Congresses.,Information technology.,Tourism -- Data processing -- Congresses.
